popupMenu: close menu on destroy

This fixes a crash if a background menu is open
and the background changes.

https://bugzilla.gnome.org/show_bug.cgi?id=697432

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index b751daf9e03a18f080f50970c50666d4947553e5..941f64b53304803f4a9b2edef6789e58ccc04ca5 100644 (file)
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -1157,6 +1157,7 @@ const PopupMenuBase = new Lang.Class({
     },
 
     destroy: function() {
+        this.close();
         this.removeAll();
         this.actor.destroy();